Partially ordered set

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A set that has a given, elsewhere specified partial order. broadly
  2. 2
    The ordered pair comprising a set and its partial order. formal

    "1959 [D. Van Nostrand], Edward James McShane, Truman Arthur Botts, Real Analysis, 2005, Dover, page 28, A partially ordered set means a pair (P,≻) consisting of a set P and a partial order ≻ in P. As usual, when the meaning is clear, we may suppress the notation of "≻" and speak of the partially ordered set P. The ordered fields defined earlier are easily seen to be examples of partially ordered sets."

Example

More examples

"1959 [D. Van Nostrand], Edward James McShane, Truman Arthur Botts, Real Analysis, 2005, Dover, page 28, A partially ordered set means a pair (P,≻) consisting of a set P and a partial order ≻ in P. As usual, when the meaning is clear, we may suppress the notation of "≻" and speak of the partially ordered set P. The ordered fields defined earlier are easily seen to be examples of partially ordered sets."